|
||||
|
| ||||||||||||||||||||||
| 6,222 articles found for: pub-date > 1980 and pub-date < 1991 and mathematics | previous page < results 1 - 100 > | |||
RSS Feed | ||||
| |
|
|||
|
![]() |
|
| Problematic Principles in Constructive Mathematics Studies in Logic and the Foundations of Mathematics, Volume 108, 1982, Pages 11-55 Michael J. Beeson | ||||
| Logic and Conceptual Relationships in Mathematics Studies in Logic and the Foundations of Mathematics, Volume 122, 1987, Pages 193-211 Kenneth L. Manders | ||||
| The Introduction of Non-Recursive Methods into Mathematics Studies in Logic and the Foundations of Mathematics, Volume 110, 1982, Pages 319-335 George Metakides, Anil Nerode | ||||
| Type Theory and Explicit Mathematics Studies in Logic and the Foundations of Mathematics, Volume 129, 1989, Pages 117-135 Gerhard Jäger | ||||
| The Use of Ordinals in the Constructive Foundations of Mathematics Studies in Logic and the Foundations of Mathematics, Volume 114, 1986, Pages 83-94 William Howard | ||||
| Constructive Mathematics as a Programming Logic I: Some Principles of Theory North-Holland Mathematics Studies, Volume 102, 1985, Pages 21-37 Robert L. Constable | ||||
| On the Foundations of Mathematics in 1987 Studies in Logic and the Foundations of Mathematics, Volume 129, 1989, Pages 11-25 Frank R. Drake | ||||
| Symposium on Constructivity in Mathematics: Introductory Remarks Studies in Logic and the Foundations of Mathematics, Volume 104, 1982, Pages 141-143 R.O. Gandy | ||||
| The Rôle of Mathematics in Present-Day Science Studies in Logic and the Foundations of Mathematics, Volume 104, 1982, Pages 3-13 R. Thom | ||||
| Chapter III The Mathematics of Excitation North-Holland Mathematics Studies, Volume 58, 1982, Pages 15-47 A.V. Holden | ||||
| Introduction-Intensional Mathematics and Constructive Mathematics Studies in Logic and the Foundations of Mathematics, Volume 113, 1985, Pages 1-10 Stewart Shapiro | ||||
| Does Gödel s Theorem Matter to Mathematics? , Studies in Logic and the Foundations of Mathematics, Volume 117, 1985, Pages 399-404 Gina Kolata | ||||
| The Rôle of Mathematics in Economics Studies in Logic and the Foundations of Mathematics, Volume 104, 1982, Pages 63-76 Werner Hildenbrand | ||||
| Remarks on Logic in Mathematics and in Computer Science Studies in Logic and the Foundations of Mathematics, Volume 127, 1989, Pages 371-373 Giuseppe Longo | ||||
| Pure and Applied Mathematics Pure and Applied Mathematics, Volume 134, 1988, Pages 503-508 | ||||
| Logical
Aspects of the Axiomatic Method: on their Significance in (Traditional)
Foundations and in Some (Now) Common or Garden Varieties of Mathematics Studies in Logic and the Foundations of Mathematics, Volume 129, 1989, Pages 183-217 G. Kreisel, Salzburg | ||||
| The Soul of Mathematics Studies in Mathematics and Its Applications, Volume 18, 1986, Pages viii-ix Peter D. Lax | ||||
| Pure and Applied Mathematics Pure and Applied Mathematics, Volume 136, 1989, Pages 403-407 | ||||
| Pure and Applied Mathematics Pure and Applied Mathematics, Volume 125, 1988, Pages 747-751 | ||||
| Constructivism in Mathematics: Contents Studies in Logic and the Foundations of Mathematics, Volume 121, 1988, Page xvii | ||||
| Fractals in Mathematics Studies in Mathematics and Its Applications, Volume 18, 1986, Pages 259-278 Masayoshi Hata | ||||
| Mathematics on Invariant Subspaces in the Almost Complex X2n: (Communicated at the meeting of March 26, 1955) North-Holland Mathematics Studies, Volume 70, 1982, Pages 169-177 J.A. Schouten, K. Yano | ||||
| Dedication to Professor John H. Argyris: A man who unifies engineering and mathematics with elegance North-Holland Mathematics Studies, Volume 94, 1984, Pages v, vii H. Kardestuncer | ||||
| Mathematics on Geometric Objects and Lie Groups of Transformations: (Communicated by Prof. J. A. SCHOUTEN at the meeting of June 25, 1955) North-Holland Mathematics Studies, Volume 70, 1982, Pages 159-168 Nicolaash Kuiper, Kentaro Yano | ||||
| Inductively Presented Systems and the Formalization of Meta-Mathematics Studies in Logic and the Foundations of Mathematics, Volume 108, 1982, Pages 95-128 Solomon Feferman | ||||
| Students' Conceptions in Physics and Mathematics: Biases and Helps Advances in Psychology, Volume 68, 1990, Pages 69-84 Annick Weil-Barais, Gérard Vergnaud | ||||
| Some Aspects of Impredicativity: Notes on Weyl's philosophy of Mathematics and on todays Type Theory Studies in Logic and the Foundations of Mathematics, Volume 129, 1989, Pages 241-274 Giuseppe Longo | ||||
| Constructive Mathematics and Computer Programming Studies in Logic and the Foundations of Mathematics, Volume 104, 1982, Pages 153-175 Per Martin-Löf | ||||
| Chapter III The Effect of the Discovery of Non-Euclidean Geometry on Recent Evolution of Mathematics North-Holland Mathematics Studies, Volume 138, 1987, Pages 214-219 | ||||
| Didactical Principles in Mathematics Instruction North-Holland Mathematical Library, Volume 34, 1986, Pages 351-357 Hans Freudenthal | ||||
| Chapter 1 Models of the Dynamics OP Heterogeneous Media and the Body of Mathematics Studies in Mathematics and Its Applications, Volume 22, 1990, Pages 1-37 | ||||
| Strongly Equivalent Directed Hypergraphs North-Holland Mathematics Studies, Volume 109, 1985, Pages 1-25 G. Ausiello, A. D'atri, D. Sacca' | ||||
| 10 The impact of reliability theory on some branches of mathematics and statistics Handbook of Statistics, Volume 7, 1988, Pages 157-174 Philip J. Boland, Frank Proschan | ||||
| Intuitionistic Extensions of the Reals II Studies in Logic and the Foundations of Mathematics, Volume 108, 1982, Pages 279-310 A.S. Troelstra | ||||
| Constructive Logic Versus Algebraization I Studies in Logic and the Foundations of Mathematics, Volume 110, 1982, Pages 217-260 G. Kreisel, A. MacIntyre | ||||
| Notions of Choice Sequence Studies in Logic and the Foundations of Mathematics, Volume 110, 1982, Pages 91-105 Michael P. Fourman | ||||
| Exchange Properties of Convexity Spaces North-Holland Mathematics Studies, Volume 87, 1984, Pages 293-305 Gerard Sierksma | ||||
| Formulas of One Propositional Variable in Intuitionistic Arithmetic Studies in Logic and the Foundations of Mathematics, Volume 110, 1982, Pages 51-64 Dick H.J. de Jongh | ||||
| Recent Progress in Constructive Approximation Theory Studies in Logic and the Foundations of Mathematics, Volume 110, 1982, Pages 41-50 Douglas S. Bridges | ||||
| Chapter 4 Concepts of Generalized Functions North-Holland Mathematics Studies, Volume 84, 1984, Pages 83-133 | ||||
| On Some Aspects of my Work with Gabriel Dirac Annals of Discrete Mathematics, Volume 41, 1988, Pages 111-116 P. Erdös | ||||
| LTF - A Logic Teaching Framework Studies in Logic and the Foundations of Mathematics, Volume 127, 1989, Pages 393-403 Duncan J Watt | ||||
| On a Local Existence Theorem for the Evolution Equation of Gaseous Stars Studies in Mathematics and Its Applications, Volume 18, 1986, Pages 459-479 Tetu Makino | ||||
| Numerical Methods for Nonlinear Differential Equations North-Holland Mathematics Studies, Volume 61, 1982, Pages 91-107 James M. Hyman | ||||
| Selected Topics in Scheduling Theory North-Holland Mathematics Studies, Volume 132, 1987, Pages 1-59 Jacek Błażewicz | ||||
| References Mathematics in Science and Engineering, Volume 160, 1982, Pages 411-422 | ||||
| References Pure and Applied Mathematics, Volume 105, 1982, Pages 498-501 | ||||
| References Pure and Applied Mathematics, Volume 128, Part 2, 1988, Pages 409-446 | ||||
| Bibliography Studies in Logic and the Foundations of Mathematics, Volume 85, 1986, Pages 411-424 | ||||
| The Origins of Forcing Studies in Logic and the Foundations of Mathematics, Volume 124, 1987, Pages 143-173 Gregory H. Moore | ||||
| References Mathematics in Science and Engineering, Volume 183, 1989, Pages 393-410 | ||||
| Selected Bibliography of Works Not Cited Mathematics in Science and Engineering, Volume 165, 1983, Pages 346-356 | ||||
| Bibliography Pure and Applied Mathematics, Volume 134, 1988, Pages 483-492 | ||||
| Proving Programs and Programming Proofs Studies in Logic and the Foundations of Mathematics, Volume 114, 1986, Pages 51-82 M.J. Beeson | ||||
| Some Proof-Theoretic Contributions to Theories of Sets Studies in Logic and the Foundations of Mathematics, Volume 122, 1987, Pages 171-191 Gerhard Jaeger | ||||
| Friedman's Research on Subsystems of Second Order Arithmetic Studies in Logic and the Foundations of Mathematics, Volume 117, 1985, Pages 137-159 Stephen G. Simpson | ||||
| Algorithmic Aspects of Combinatorial Designs: A Survey North-Holland Mathematics Studies, Volume 114, 1985, Pages 67-136 Martenc Jones Colbourn | ||||
| Bibliography Studies in Logic and the Foundations of Mathematics, Volume 121, 1988, Pages 327-342 | ||||
| Applications of Constructivity Studies in Logic and the Foundations of Mathematics, Volume 104, 1982, Pages 145-152 J.M.E. Hyland | ||||
| Intuitionistic formal systems Studies in Logic and the Foundations of Mathematics, Volume 117, 1985, Pages 231-255 Daniel Leivant | ||||
| References North-Holland Mathematics Studies, Volume 164, 1990, Pages 371-380 | ||||
| References North-Holland Mathematics Studies, Volume 77, 1982, Pages 287-296 | ||||
| Finite Difference Techniques for Partial Differential Equations North-Holland Mathematics Studies, Volume 83, 1984, Pages 95-354 John Noye | ||||
| Bibliography North-Holland Mathematics Studies, Volume 100, 1984, Pages 515-541 | ||||
| Finite Element Methods for Treating Problems Involving Singularities, With Applications to Linear Elastic Fracture. North-Holland Mathematics Studies, Volume 133, 1987, Pages 109-120 J.R. Whiteman | ||||
| References North-Holland Mathematics Studies, Volume 147, 1988, Pages 285-329 | ||||
| Bibliography Studies in Mathematics and Its Applications, Volume 20, 1988, Pages 409-433 | ||||
| Bibliography Pure and Applied Mathematics, Volume 126, 1988, Pages 1373-1450 | ||||
| Bibliography Pure and Applied Mathematics, Volume 125, 1988, Pages 643-720 | ||||
| References Pure and Applied Mathematics, Volume 131, 1987, Pages 417-434 | ||||
| Construction Procedures for t-designs and the Existence of New Simple 6–designs North-Holland Mathematics Studies, Volume 114, 1985, Pages 247-273 Earl S. Kramer, David W. Leavitt, Spyros S. Magliveras | ||||
| Tables of Parameters of BIBDs with r 41 including Existence, Enumeration, and Resolvability ResultsNorth-Holland Mathematics Studies, Volume 114, 1985, Pages 275-307 Rudolf Mathon, Alexander Rosa | ||||
| Bibliography Annals of Discrete Mathematics, Volume 40, 1989, Pages 203-222 | ||||
| Church's Thesis is Consistent with Epistemic Arithmetic Studies in Logic and the Foundations of Mathematics, Volume 113, 1985, Pages 121-172 Robert C. Flagg | ||||
| Doing Without Determinacy-Aspects of Inner Models Studies in Logic and the Foundations of Mathematics, Volume 124, 1987, Pages 333-342 P.D. Welch | ||||
| References Pure and Applied Mathematics, Volume 101, 1982, Pages 303-349 | ||||
| The Computational Complexity of Finding Subdesigns in Combinatorial Designs North-Holland Mathematics Studies, Volume 114, 1985, Pages 59-65 Charles J. Colbourn, Marlenc J. Colbourn, Douglas R. Stineon | ||||
| Hamilton Paths in Cartesian Products of Directed Cycles North-Holland Mathematics Studies, Volume 115, 1985, Pages 35-74 Stephen J. Curran, David Witte | ||||
| Orthomodular Lattices North-Holland Mathematics Studies, Volume 99, 1984, Pages 99-102 Günter Bruns | ||||
| Nonprovability of Certain Combinatorial Properties of Finite Trees Studies in Logic and the Foundations of Mathematics, Volume 117, 1985, Pages 87-117 Stephen G. Simpson | ||||
| Birliography North-Holland Mathematics Studies, Volume 120, 1986, Pages 421-429 | ||||
| The Arithmetics as Theories of two Orders North-Holland Mathematics Studies, Volume 99, 1984, Pages 287-311 Denis Richard | ||||
| Probabilistic Analysis of Algorithms North-Holland Mathematics Studies, Volume 132, 1987, Pages 365-384 Alexander H.G. Rinnooy Kan | ||||
| Symmetric Representations of Binary Matroids North-Holland Mathematics Studies, Volume 75, 1983, Pages 371-376 F. Jaeger | ||||
| On the Non-Existence of Certain Difference Sets Annals of Discrete Mathematics, Volume 37, 1988, Pages 479-484 N. Zagaglia Salvi | ||||
| On Matchings and Hamiltonian Cycles in Random Graphs North-Holland Mathematics Studies, Volume 118, 1985, Pages 23-46 Béla Bollobás, Alan M. Frieze | ||||
| Bibliography North-Holland Mathematics Studies, Volume 135, 1987, Pages 501-519 | ||||
| Introduction North-Holland Mathematics Studies, Volume 48, 1981, Pages 1-123 | ||||
| References North-Holland Mathematics Studies, Volume 146, 1987, Pages 403-409 | ||||
| A Generalization of Robacker's Theorem Annals of Discrete Mathematics, Volume 39, 1989, Pages 245-252 S.K. Tipnis, L.E. Trotter Jr. | ||||
| On
Continuity Properties of the Partial Legendre-Fenchel Transform:
Convergence of Sequences of Augmented Lagrangian Functions,
Moreau-Yosida Approximates and Subdifferential Operators North-Holland Mathematics Studies, Volume 129, 1986, Pages 1-42 H. Attouch, D. Azé, R. Wets | ||||
| Geodesics in Oriented Graphs North-Holland Mathematics Studies, Volume 87, 1984, Pages 67-73 Béala Bollobás | ||||
| Star sub-Ramsey numbers North-Holland Mathematics Studies, Volume 149, 1987, Pages 153-163 P. Fraisse, G. Hahn, D. Sotteau | ||||
| Enumerating Phylogenetic Trees with Multiple Labels Annals of Discrete Mathematics, Volume 38, 1988, Pages 129-139 L.R. Foulds, R.W. Robinson | ||||
| Ranking the Cuts and Cut-Sets of a Network North-Holland Mathematics Studies, Volume 95, 1984, Pages 183-200 H.W. Hamacher, J.-C. Picard, M. Queyranne | ||||
| Order Relations of Variables in 0-1 Programming North-Holland Mathematics Studies, Volume 132, 1987, Pages 83-112 Peter L. Hammer, Bruno Simeone | ||||
| ODD Cycles of Specified Length in Non-Bipartite Graphs North-Holland Mathematics Studies, Volume 62, 1982, Pages 89-99 Roland Häggkvist | ||||
| A Survey of Results on the Number of t-(v,k,λ) Designs North-Holland Mathematics Studies, Volume 114, 1985, Pages 209-219 Hans-Dietrich O.F. Gronau | ||||
| A Dual Optimality Criterion for Algebraic Linear Programs North-Holland Mathematics Studies, Volume 95, 1984, Pages 35-40 P. Brucker, U. Zimmermann | ||||
| L.E.J. Brouwer, The Signific Interlude Studies in Logic and the Foundations of Mathematics, Volume 110, 1982, Pages 505-512 Walter P. van Stigt | ||||
| 6,222 articles found for: pub-date > 1980 and pub-date < 1991 and mathematics | previous page < results 1 - 100 > |
RSS Feed |
|
|
|




